Diamonds, Compactness, and Measure Sequences
نویسنده
چکیده
We establish the consistency of the failure of the diamond principle on a cardinal κ which satisfies a strong simultaneous reflection property. The result is based on an analysis of Radin forcing, and further leads to a characterization of weak compactness of κ in a Radin generic extension.
منابع مشابه
New operators through measure of non-compactness
In this article, we use two concepts, measure of non-compactness and Meir-Keeler condensing operators. The measure of non-compactness has been applied for existence of solution nonlinear integral equations, ordinary differential equations and system of differential equations in the case of finite and infinite dimensions by some authors. Also Meir-Keeler condensing operators are shown in some pa...
متن کاملar X iv : 1 70 8 . 02 14 5 v 1 [ m at h . L O ] 7 A ug 2 01 7 JOINT DIAMONDS AND LAVER DIAMONDS
We study the concept of jointness for guessing principles, such as ♦κ and various Laver diamonds. A family of guessing sequences is joint if the elements of any given sequence of targets may be simultaneously guessed by the members of the family. We show that, while equivalent in the case of ♦κ, joint Laver diamonds are nontrivial new objects. We give equiconsistency results for most of the lar...
متن کاملOn the strong pre-compactness property for entropy solutions of an ultra-parabolic equation with discontinuous flux
Under some non-degeneracy condition we show that sequences of entropy solutions of a nonlinear ultra-parabolic equation are strongly pre-compact in the general case of a Caratheodory flux vector. The proofs are based on localization principles for H-measures corresponding to sequences of measure-valued functions.
متن کاملGlobally Hyperbolic Spacetimes Can be Defined as “ Causal ” Instead of “ Strongly Causal ” Antonio
The classical definition of global hyperbolicity for a spacetime (M, g) comprises two conditions: (A) compactness of the diamonds J(p) ∩ J−(q), and (B) strong causality. Here we show that condition (B) can be replaced just by causality. In fact, we show first that the classical definition of causal simplicity (which impose to be distinguishing, apart from the closedness of J(p), J−(q)) can be w...
متن کاملESI The Erwin
The classical definition of global hyperbolicity for a spacetime (M, g) comprises two conditions: (A) compactness of the diamonds J(p) ∩ J−(q), and (B) strong causality. Here we show that condition (B) can be replaced just by causality. In fact, we show first that the classical definition of causal simplicity (which impose to be distinguishing, apart from the closedness of J(p), J−(q)) can be w...
متن کامل